An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net
نویسندگان
چکیده
منابع مشابه
Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata
There is a lack of new verification methods that overcome the limitations of traditional validation techniques and are, at the same time, suitable for real-time embedded systems. This paper presents an approach to formal verification of real-time embedded systems modeled in a timed Petri net representation. We translate the Petri net model into timed automata and use model checking to prove whe...
متن کاملPetri Net Based Design of Reconfigurable Embedded Real-Time Systems
During the last years we have developed a methodology for the design of complex embedded real-time systems. The methodology supports the complete design flow reaching from modeling of embedded systems on a high level of abstraction over simulation and analysis down to the implementation on target platforms. In this paper, we describe our current work, which aims at opening the methodology for d...
متن کاملPerformance Evaluation Using Timed Coloured Petri Nets
Coloured Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called “colours”. The set of colours is finite. Colors can be modified during transition firings, and the same transition can perform diffcrcn t transformations for tokens of different colours. Colours can thus distinguish tokens, and this allows to “fold” similar subnets of a net ...
متن کاملInvariant-Based Performance Analysis of Timed Petri Net Models
In timed Petri nets, temporal properties are associated with transitions as transition firing times (or occurrence times). For net models which can be decomposed into a family of place invariants, performance analysis can be conveniently performed on the basis of its components. The paper presents an approach to finding place invariants of net models and proposes an incremental method which, fo...
متن کاملA Coloured Timed Petri Net Model for Real Time Control of Agv Systems
Automated Guided Vehicle Systems (AGVSs) are material handling devices representing an efficient and flexible option for products management in Automated Manufacturing Systems. In AGVSs vehicles follow a guide-path while controlled by a computer that assigns route, tasks, velocity, etc. Moreover, the design of AGVSs has to take into account some management problems such as collisions and deadlo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers
سال: 2020
ISSN: 2073-431X
DOI: 10.3390/computers9040094